21. Computer Aided Verification :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.

رده :
QA76
.
758
.
C38
2019

22. Constraint Solving and Language Processing

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.

23. Current trends on knowledge-based systems

کتابخانه: المكتبة المركزية لجامعة الطب في أصفهان (أصبهان)

موضوع : Expert systems (Computer science) ,Artificial intelligence,Computer science,Internet of things,Algorithms,Logic, Symbolic and mathematical,Data mining

رده :
QA76
.
76
.
E95
C8
2017

24. Current trends on knowledge-based systems

کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)

موضوع : Artificial intelligence,Expert systems (Computer science),Logic, Symbolic and mathematical

رده :
006
.
3
C976
2017
21

25. Descriptional complexity of formal systems :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Formal methods (Computer science), Congresses.,Logic design.,Artificial intelligence.,Computer science.,Formal methods (Computer science),Logic design.

رده :
QA76
.
5913
D34
2019

26. Developments in Language Theory

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics. ; Computers. ; Artificial intelligence. ; Logics and Meanings of Programs. ; -Computer logic. ; Natural language processing (Computer science). ; Computer science

27. Developments in Language Theory

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic design. ; Natural language processing (Computer science). ; Database management. ; Artificial intelligence. ; Computer logic. ; Computer science. ; Software engineering. ; Logics and Meanings of Programs. ;

28. Distributed constraint logic programming

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(

رده :
QA
76
.
63
.
L48
1993

29. Distributed constraint logic programming

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Logic programming,، Distributed artificial intelligence,، PARLOG )Computer program language(

رده :
QA
76
.
63
.
L48
1993

30. Dynamic Fuzzy Pattern Recognition with Applications to Finance and Engineering

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer vision.,Logic, Symbolic and mathematical.,Mathematics.

31. Dynamic Worlds

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Data structures (Computer science).,Logic.,Philosophy (General).

32. Embedded systems technology :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Embedded computer systems, Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Embedded computer systems.,Information retrieval.,Operating systems.

رده :
TK7895
.
E42

33. Epistemic logic for AI and computer science

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical

رده :
QA
76
.
M495
1995

34. Formal concept analysis

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Lattice theory, Congresses,Computer science, Mathematics, Congresses,Artificial intelligence, Mathematical models, Congresses,Mathematical analysis, Congresses,Logic, symbolic and mathematical, Congresses,Formal methods (Computer science), Congresses

رده :
QA
،
171
.
5
،.
I55
،
2011

35. Frontiers in Belief Revision

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer science.,Logic.

36. Fuzzy Databases :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.

رده :
QA8
.
9-10
.
3

37. Fuzzy Hardware

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.

38. Fuzzy Relational Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.

39. Fuzzy Sets in Approximate Reasoning and Information Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Data structures (Computer science).,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.

40. Fuzzy Systems

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.